A Fuzzy AHP-Based Analysis of Context-Dependent t-Norms in Adaptive Fuzzy Automata for Uncertainty-Driven Decision-Making Systems

Abstract

Adaptive fuzzy automata allow us to model sequential processes through a formally formalised mechanism wherein the state transitions are realised as are the recognition outcomes and terminal decisions not by crisp values but various graded values. Selecting an aggregation law for uncertain evidence remains a consistent challenge for modellers. Traditional fuzzy automata typically use a constant t-norm, which reflects either minimum or product operation. Thus, it propagates uncertainty according to one invariant semantics of conjunction. In this paper, we present a framework based on fuzzy analytic hierarchy process (fuzzy AHP) for context-dependent t-norm selection relevant to adaptive fuzzy automata. The presented model, on behalf of t-norms, represents a multi-criteria decision problem whose attributes are robustness, continuity, interpretability, sensitivity to weak evidence, computational speed (complexity), being fit for high-stakes use, and adaptability. This paper defined a formal context-dependent fuzzy automaton and then proposed a Fuzzy AHP procedure through triangular fuzzy numbers, geometric-mean fuzzy weights, defuzzification, consistency checking, and final t-norm ordering. A computational automaton is illustrated showing how the accepted grade of an input word is changed by different t-norms. A context-sensitive selector can justify switching among Godel/minimum, product, Lukasiewicz, Hamacher, and Schweizer-Sklar t-norms. Papers provide a clear-cut mathematical bridge between fuzzy automata theory and multi-criteria decision-making for systems that are driven by uncertainty.

Introduction

This paper proposes an adaptive fuzzy automaton that dynamically selects the most appropriate triangular norm (t-norm) for aggregating transition values based on the operating context. Unlike conventional fuzzy automata, which rely on a fixed t-norm, the proposed approach uses Fuzzy Analytic Hierarchy Process (Fuzzy AHP) to justify and automate the selection of aggregation operators according to multiple decision criteria.

Fuzzy automata extend classical automata by allowing transitions, initial states, final states, and recognized languages to have degrees of membership between 0 and 1 rather than binary values. Consequently, word recognition is expressed as an acceptance grade obtained by combining transition and final-state membership values. The choice of aggregation operator is fundamental because different t-norms represent different interpretations of conjunction. For example, the Gödel (minimum) t-norm is conservative and depends on the weakest evidence, the product t-norm models independent confidence values, the ?ukasiewicz t-norm is threshold-sensitive, while Hamacher and Schweizer–Sklar t-norms provide parameterized and flexible aggregation behaviors.

Traditional fuzzy automata assume a fixed t-norm because associativity simplifies mathematical analysis and language recognition. However, many real-world systems require different aggregation semantics depending on context. High-risk medical diagnosis, sensor fusion under unreliable conditions, or intelligent control systems may require switching between conservative and multiplicative reasoning. A fixed t-norm cannot adequately capture these changing requirements.

To address this limitation, the paper introduces Fuzzy AHP as a decision-support framework for selecting the most suitable t-norm. Fuzzy AHP extends the classical Analytic Hierarchy Process by representing expert judgments with fuzzy numbers, enabling uncertainty and vagueness in evaluations. Candidate t-norms are assessed against criteria such as robustness, continuity, interpretability, sensitivity to weak evidence, computational efficiency, suitability for high-risk environments, and adaptability. This ensures that t-norm selection is transparent, systematic, and mathematically justified rather than heuristic.

The research aims to:

1. Develop a formal framework for adaptive fuzzy automata with context-dependent t-norm selection.
2. Construct a Fuzzy AHP model to rank five candidate t-norms.
3. Demonstrate, through an illustrative example, how different t-norms produce different acceptance grades for the same input word.
4. Examine the theoretical and practical implications of integrating fuzzy automata with multi-criteria decision-making under uncertainty.

The literature review establishes the theoretical foundations of fuzzy sets, fuzzy relations, fuzzy topology, fuzzy automata, triangular norms, and Fuzzy AHP. Previous studies have extensively developed fuzzy automata and their algebraic properties, but they generally assume a fixed aggregation operator. This work fills that gap by introducing an adaptive decision mechanism for selecting aggregation semantics according to context.

The mathematical preliminaries define fuzzy sets and fuzzy relations, whose compositions rely on t-norms. A triangular norm is characterized by commutativity, associativity, monotonicity, and the identity property, ensuring mathematically consistent fuzzy conjunction. The study considers five representative t-norms—Gödel (minimum), Product, ?ukasiewicz, Hamacher, and Schweizer–Sklar—because they represent distinct aggregation behaviors ranging from conservative to parameterized reasoning.

References

[1] B?lohlávek, R. (2002). Determinism and fuzzy automata. Information Sciences, 143(1-4), 205-209. https://doi.org/10.1016/S0020-0255(02)00192-5 [2] Buckley, J. J. (1985). Fuzzy hierarchical analysis. Fuzzy Sets and Systems, 17(3), 233-247. https://doi.org/10.1016/0165-0114(85)90090-9 [3] Chang, C. L. (1968). Fuzzy topological spaces. Journal of Mathematical Analysis and Applications, 24(1), 182-190. https://doi.org/10.1016/0022-247X(68)90057-7 [4] Chang, D.-Y. (1996). Applications of the extent analysis method on fuzzy AHP. European Journal of Operational Research, 95(3), 649-655. https://doi.org/10.1016/0377-2217(95)00300-2 [5] Doostfatemeh, M., & Kremer, S. C. (2005). New directions in fuzzy automata. International Journal of Approximate Reasoning, 38(2), 175-214. https://doi.org/10.1016/j.ijar.2004.08.001 [6] George, A., & Veeramani, P. (1994). On some results in fuzzy metric spaces. Fuzzy Sets and Systems, 64(3), 395-399. https://doi.org/10.1016/0165-0114(94)90162-7 [7] Goguen, J. A. (1967). L-fuzzy sets. Journal of Mathematical Analysis and Applications, 18(1), 145-174. https://doi.org/10.1016/0022-247X(67)90189-8 [8] Hájek, P. (1998). Metamathematics of fuzzy logic. Kluwer Academic Publishers. https://doi.org/10.1007/978-94-011-5300-3 [9] Ignjatovi?, J., ?iri?, M., & Bogdanovi?, S. (2008). Determinization of fuzzy automata with membership values in complete residuated lattices. Information Sciences, 178(1), 164-180. https://doi.org/10.1016/j.ins.2007.08.003 [10] Jin, J., Li, Q., & Li, Y. (2013). Algebraic properties of L-fuzzy finite automata. Information Sciences, 234, 182-202. https://doi.org/10.1016/j.ins.2013.01.018 [11] Klement, E. P., Mesiar, R., & Pap, E. (2000). Triangular norms. Kluwer Academic Publishers. https://doi.org/10.1007/978-94-015-9540-7 [12] Klir, G. J., & Yuan, B. (1995). Fuzzy sets and fuzzy logic: Theory and applications. Prentice Hall. [13] Li, Y. M., & Pedrycz, W. (2005). Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids. Fuzzy Sets and Systems, 156(1), 68-92. https://doi.org/10.1016/j.fss.2005.04.004 [14] Lowen, R. (1976). Fuzzy topological spaces and fuzzy compactness. Journal of Mathematical Analysis and Applications, 56(3), 621-633. https://doi.org/10.1016/0022-247X(76)90029-9 [15] Mikhailov, L. (2002). Fuzzy analytical approach to partnership selection in formation of virtual enterprises. Omega, 30(5), 393-401. https://doi.org/10.1016/S0305-0483(02)00052-X [16] Mordeson, J. N., & Malik, D. S. (2002). Fuzzy automata and languages: Theory and applications. Chapman & Hall/CRC. [17] Pu, P.-M., & Liu, Y.-M. (1980). Fuzzy topology. I. Neighborhood structure of a fuzzy point and Moore-Smith convergence. Journal of Mathematical Analysis and Applications, 76(2), 571-599. https://doi.org/10.1016/0022-247X(80)90048-7 [18] Saaty, T. L. (1977). A scaling method for priorities in hierarchical structures. Journal of Mathematical Psychology, 15(3), 234-281. https://doi.org/10.1016/0022-2496(77)90033-5 [19] Saaty, T. L. (1980). The analytic hierarchy process: Planning, priority setting, resource allocation. McGraw-Hill. [20] Saaty, T. L. (2008). Decision making with the analytic hierarchy process. International Journal of Services Sciences, 1(1), 83-98. https://doi.org/10.1504/IJSSCI.2008.017590 [21] Santos, E. S. (1968). Maximin automata. Information and Control, 13(4), 363-377. https://doi.org/10.1016/S0019-9958(68)90864-4 [22] Schweizer, B., & Sklar, A. (1960). Statistical metric spaces. Pacific Journal of Mathematics, 10(1), 313-334. https://doi.org/10.2140/pjm.1960.10.313 [23] Van Laarhoven, P. J. M., & Pedrycz, W. (1983). A fuzzy extension of Saaty\'s priority theory. Fuzzy Sets and Systems, 11(1-3), 229-241. [24] Wee, W. G., & Fu, K. S. (1969). A formulation of fuzzy automata and its application as a model of learning systems. IEEE Transactions on Systems Science and Cybernetics, SSC-5(3), 215-223. https://doi.org/10.1109/TSSC.1969.300263 [25] Zadeh, L. A. (1965). Fuzzy sets. Information and Control, 8(3), 338-353. https://doi.org/10.1016/S0019-9958(65)90241-X [26] Zimmermann, H.-J. (2001). Fuzzy set theory—and its applications (4th ed.). Kluwer Academic Publishers. https://doi.org/10.1007/978-94-010-0646-0

Copyright

Copyright © 2026 Vivek Kumar , Manoj Kumar Yadav , Md. Mushtaque Khan, Md. Raza Ansari, Priya Kumari . This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.